Methoden der Metaprogrammierung zur Rekonfiguration von Software eingebetteter Systeme

نویسنده

  • Thomas Maier-Komor
چکیده

Der Entwurf von Software für eingebettete Systeme wird sowohl durch die Systemumgebung als auch durch das System selbst stark beeinflusst. Beide Faktoren reduzieren die Wiederverwendbarkeit und die Erweiterbarkeit der Software in erheblichem Maße. Insbesondere können wirtschaftliche Überlegungen mitunter hohe Anforderungen an das Design stellen. Eine Lösung dieser Problematik kann nur mit klar definierten Abstraktionsebenen und geeigneten Schnittstellen zur Integration ermöglicht werden. Mit MetaC wird in dieser Arbeit eine Spracherweiterung vorgestellt, die neue Konzepte bietet, um die speziellen Anforderungen querschneidender Strukturen von eingebetteter Software anzusprechen. Insbesondere werden Methoden zur Verbesserung der Wiederverwendbarkeit, Erweiterbarkeit und Abstraktion von Software für eingebettete System vorgestellt. Die zugrundeliegende Methodik basiert auf der Idee der Metaprogrammierung und benutzt spezielle Mechanismen zur Strukturanalyse und Synthese des Quelltextes. Voraussetzung für die Applikation dieses Verfahrens ist, dass als integrierende Schnittstelle für alle Teilmodule der Software die Programmiersprache C verwendet wird, die gleichzeitig die Grundlage für MetaC bildet. Zur funktionalen Erweiterung von bestehendem Quelltext wird eine Methodik präsentiert, die die bestehende Semantik berücksichtigen kann. Durch besondere Verfahren zur Überprüfung von Randbedingungen und zur Abstraktion werden die Portabilität und die Wiederverwendbarkeit gesteigert. Dadurch wird die Applikationssoftware unabhängiger von der zugrundeliegenden Betriebssoftware. Die vorgestellten Maßnahmen sind somit geeignet, den Lebenszyklus von Software zu verlängern und außerdem die Entwicklungszeit zu verkürzen, indem eine einfache Rekonfiguration der Software für die verschiedenen Entwicklungsphasen möglich wird. An mehreren Beispielen werden die neuen Möglichkeiten beschrieben, mit denen C Quelltexte rekonfiguriert, refaktorisiert, an neue Anforderungen anpasst und erweitert. Dabei werden die Vorteile insbesondere am Applikationsumfeld der Echtzeitsysteme herausgearbeitet. Da ein Großteil der Projekte aus der Domäne der eingebetteten Systeme C Quelltexte zur Implementierung von Software verwendet, ist die hier vorgestellte Methodik in einem breiten Spektrum einsetzbar.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata

Die Konstruktion eingebetteter Systeme, die starke RealzeitAnforderungen zu erfüllen haben, wird in den verschiedensten Anwendungsbereichen immer bedeutsamer, z. B. in der Medizin, der Transporttechnik oder der Produktionsautomatisierung. Formale Methoden unterstützen die fehlerarme Entwicklung solcher Systeme, weil sie auf einer präzisen mathematischen Grundlage aufbauen. Der Autor entwickelt ...

متن کامل

Objektorientierte Entwicklung eingebetteter (Echtzeit-) Systeme mit UML?

Zusammenfassung: In jüngster Zeit werden mehr und mehr objektorientierte Modellierungssprachen, Werkzeuge und Methoden für die Entwicklung eingebetteter Systeme in Betracht gezogen, die Varianten der Standardmodellierungssprache UML darstellen. In diesem Papier werden mit Realtime UML und UML/Realtime zwei solcher UML-Varianten kurz präsentiert. Im Anschluß daran wird ein neuer Vorschlag zur „n...

متن کامل

Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme

In der modellbasierten Entwicklung eingebetteter Software, insbesondere im Automobilbereich, wird Matlab/Simulink verbreitet eingesetzt. Im Rahmen der Modellerstellung, -wartung und -pflege häufig benötigte Änderungen an den Modellen, wie die Restrukturierung der Modellstruktur und Generierung von Modellkonstrukten, werden überlicherweise manuell, mit den vorhandenen Modellierungsmitteln des Si...

متن کامل

FünfterWorkshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISION2020)

Heutzutage unterstützen softwareintensive eingebettete Systeme mehr oder weniger sichtbar den Menschen in vielen Bereichen des täglichen Lebens. Experten prognostizieren für die Zukunft eine rasante Zunahme von Systemen dieses Typus und deren Vernetzung in dynamisch gebildeten Systemverbünden. Diese Entwicklung wird in dramatischer Weise durch das entstehen umfassender "Cyber Physical Systems" ...

متن کامل

Anforderungen auf Konsistenz überprüft - Formalisierung hilft

Im Requirements Engineering sind Fragestellungen bzgl. der Eindeutigkeit, Widerspruchsfreiheit und Vollständigkeit Herausforderungen, die in herkömmlichen, manuell textbasierten Vorgehensweisen nur schwer zu beherrschen sind. Dieser Beitrag beschreibt für reaktive Systeme und Anforderungen, wie sie typischerweise in eingebetteten Systemen vorkommen, den Anwendungsfall der automatischen Modellun...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006